@prefix : <http://dig.csail.mit.edu/2009/policy-assurance/print-input.py?input=%40prefix+s%3A+%3Chttp%3A%2F%2Fdig.csail.mit.edu%2F2009%2FIARPA-PIR%2Fsparql%23%3E+.%0A%0A%3AQuery6666988261251126346+a+s%3ASPARQLQuery%3B%0A%0As%3Aclause+[%0A++s%3AtriplePattern++{+%3As+%3Chttp%3A%2F%2Fexample.com%2F%23a%3E+%3Aa+}%3B%0A++s%3AtriplePattern++{+%3As+%3Chttp%3A%2F%2Fexample.com%2F%23b%3E+%3Ab+}%3B%0A++s%3AtriplePattern++{+%3Ab+s%3AbooleanGT+%2218+%22}%3B%0A%0A]%3B+%0A+++s%3Aretrieve+[%0A++++++s%3Avar+%3Aa%3B%0A++++++s%3Avar+%3As%3B%0A].%0A%0A#> .
    @prefix air: <http://dig.csail.mit.edu/TAMI/2007/amord/air#> .
    @prefix ex: <http://example.com/#> .
    @prefix log: <http://www.w3.org/2000/10/swap/log#> .
    @prefix s: <http://dig.csail.mit.edu/2009/IARPA-PIR/sparql#> .
    @prefix tms: <http://dig.csail.mit.edu/TAMI/2007/amord/tms#> .
    
    <http://dig.csail.mit.edu/2009/policy-assurance/generator/make_chaining_policy.py?policyName=chaining-policy&textDescription=Chaining+policy.+Please+provide+a+policy+description+if+desired.&nameSpaces=%40prefix+ex%3A+%3Chttp%3A%2F%2Fexample.com%2F%23%3E.&policyType=defaultNotComply&Attribute1=ex%3Aa&Var1=retrieve&Attribute3=ex%3Ab&Var3=use&firstFilter2=ex%3Ab&secondFilter2=s%3AbooleanGT&thirdFilter2=%2218+%22&url=whateverchaining-policy-check>     tms:justification tms:premise .
    
    :Query6666988261251126346     air:compliant-with <http://dig.csail.mit.edu/2009/policy-assurance/generator/make_chaining_policy.py?policyName=chaining-policy&textDescription=Chaining+policy.+Please+provide+a+policy+description+if+desired.&nameSpaces=%40prefix+ex%3A+%3Chttp%3A%2F%2Fexample.com%2F%23%3E.&policyType=defaultNotComply&Attribute1=ex%3Aa&Var1=retrieve&Attribute3=ex%3Ab&Var3=use&firstFilter2=ex%3Ab&secondFilter2=s%3AbooleanGT&thirdFilter2=%2218+%22&url=whateverchaining-policy> .
    {
        :Query6666988261251126346     air:compliant-with <http://dig.csail.mit.edu/2009/policy-assurance/generator/make_chaining_policy.py?policyName=chaining-policy&textDescription=Chaining+policy.+Please+provide+a+policy+description+if+desired.&nameSpaces=%40prefix+ex%3A+%3Chttp%3A%2F%2Fexample.com%2F%23%3E.&policyType=defaultNotComply&Attribute1=ex%3Aa&Var1=retrieve&Attribute3=ex%3Ab&Var3=use&firstFilter2=ex%3Ab&secondFilter2=s%3AbooleanGT&thirdFilter2=%2218+%22&url=whateverchaining-policy> .
        
        }     tms:description  (
        "A restriction on the USE of ex:b, violated by "
        {:s     ex:b :b .
            } );
         tms:justification  [
             tms:antecedent-expr  [
                 a tms:And-justification;
                 tms:sub-expr  [
                     air:instanceOf <http://dig.csail.mit.edu/2009/policy-assurance/generator/make_chaining_policy.py?policyName=chaining-policy&textDescription=Chaining+policy.+Please+provide+a+policy+description+if+desired.&nameSpaces=%40prefix+ex%3A+%3Chttp%3A%2F%2Fexample.com%2F%23%3E.&policyType=defaultNotComply&Attribute1=ex%3Aa&Var1=retrieve&Attribute3=ex%3Ab&Var3=use&firstFilter2=ex%3Ab&secondFilter2=s%3AbooleanGT&thirdFilter2=%2218+%22&url=whateverchaining-policy-rule-1>;
                     tms:description  (
                    "Chaining has found the first pattern RETRIEVE in "
                    {:s     ex:a :a .
                        } );
                     tms:justification  [
                         tms:antecedent-expr  [
                             a tms:And-justification;
                             tms:sub-expr  [
                                 air:instanceOf <http://dig.csail.mit.edu/2009/policy-assurance/generator/make_chaining_policy.py?policyName=chaining-policy&textDescription=Chaining+policy.+Please+provide+a+policy+description+if+desired.&nameSpaces=%40prefix+ex%3A+%3Chttp%3A%2F%2Fexample.com%2F%23%3E.&policyType=defaultNotComply&Attribute1=ex%3Aa&Var1=retrieve&Attribute3=ex%3Ab&Var3=use&firstFilter2=ex%3Ab&secondFilter2=s%3AbooleanGT&thirdFilter2=%2218+%22&url=whateverchaining-policy-rule-0>;
                                 tms:description  (
                                "Make sure this is a query." );
                                 tms:justification  [
                                     tms:antecedent-expr  [
                                         a tms:And-justification;
                                         tms:sub-expr <http://dig.csail.mit.edu/2009/policy-assurance/generator/make_chaining_policy.py?policyName=chaining-policy&textDescription=Chaining+policy.+Please+provide+a+policy+description+if+desired.&nameSpaces=%40prefix+ex%3A+%3Chttp%3A%2F%2Fexample.com%2F%23%3E.&policyType=defaultNotComply&Attribute1=ex%3Aa&Var1=retrieve&Attribute3=ex%3Ab&Var3=use&firstFilter2=ex%3Ab&secondFilter2=s%3AbooleanGT&thirdFilter2=%2218+%22&url=whateverchaining-policy-check>,
                                                {:Query6666988261251126346     a s:SPARQLQuery;
                                             s:clause <#_g0>;
                                             s:retrieve <#_g1> .
                                        } ];
                                     tms:rule-name <http://dig.csail.mit.edu/2009/policy-assurance/generator/make_chaining_policy.py?policyName=chaining-policy&textDescription=Chaining+policy.+Please+provide+a+policy+description+if+desired.&nameSpaces=%40prefix+ex%3A+%3Chttp%3A%2F%2Fexample.com%2F%23%3E.&policyType=defaultNotComply&Attribute1=ex%3Aa&Var1=retrieve&Attribute3=ex%3Ab&Var3=use&firstFilter2=ex%3Ab&secondFilter2=s%3AbooleanGT&thirdFilter2=%2218+%22&url=whateverchaining-policy-check> ] ],
                                    {<http://dig.csail.mit.edu/2009/policy-assurance/generator/make_chaining_policy.py?policyName=chaining-policy&textDescription=Chaining+policy.+Please+provide+a+policy+description+if+desired.&nameSpaces=%40prefix+ex%3A+%3Chttp%3A%2F%2Fexample.com%2F%23%3E.&policyType=defaultNotComply&Attribute1=ex%3Aa&Var1=retrieve&Attribute3=ex%3Ab&Var3=use&firstFilter2=ex%3Ab&secondFilter2=s%3AbooleanGT&thirdFilter2=%2218+%22&url=whateverT0>     log:includes { @forSome :s .
                                :s     ex:a :a .
                                } .
                            <#_g0>     s:triplePattern {:s     ex:a :a .
                                } .
                            <#_g1>     s:var :a .
                            } ];
                         tms:rule-name <http://dig.csail.mit.edu/2009/policy-assurance/generator/make_chaining_policy.py?policyName=chaining-policy&textDescription=Chaining+policy.+Please+provide+a+policy+description+if+desired.&nameSpaces=%40prefix+ex%3A+%3Chttp%3A%2F%2Fexample.com%2F%23%3E.&policyType=defaultNotComply&Attribute1=ex%3Aa&Var1=retrieve&Attribute3=ex%3Ab&Var3=use&firstFilter2=ex%3Ab&secondFilter2=s%3AbooleanGT&thirdFilter2=%2218+%22&url=whateverchaining-policy-rule-0> ] ],
                        {<http://dig.csail.mit.edu/2009/policy-assurance/generator/make_chaining_policy.py?policyName=chaining-policy&textDescription=Chaining+policy.+Please+provide+a+policy+description+if+desired.&nameSpaces=%40prefix+ex%3A+%3Chttp%3A%2F%2Fexample.com%2F%23%3E.&policyType=defaultNotComply&Attribute1=ex%3Aa&Var1=retrieve&Attribute3=ex%3Ab&Var3=use&firstFilter2=ex%3Ab&secondFilter2=s%3AbooleanGT&thirdFilter2=%2218+%22&url=whateverT1>     log:includes { @forSome :s .
                    :s     ex:b :b .
                    } .
                <http://dig.csail.mit.edu/2009/policy-assurance/generator/make_chaining_policy.py?policyName=chaining-policy&textDescription=Chaining+policy.+Please+provide+a+policy+description+if+desired.&nameSpaces=%40prefix+ex%3A+%3Chttp%3A%2F%2Fexample.com%2F%23%3E.&policyType=defaultNotComply&Attribute1=ex%3Aa&Var1=retrieve&Attribute3=ex%3Ab&Var3=use&firstFilter2=ex%3Ab&secondFilter2=s%3AbooleanGT&thirdFilter2=%2218+%22&url=whateverU1>     log:includes { @forSome "18 ",
                                s:booleanGT .
                    :b     s:booleanGT "18 " .
                    } .
                <#_g0>     s:triplePattern {:b     s:booleanGT "18 " .
                    },
                            {:s     ex:b :b .
                    } .
                } ];
             tms:rule-name <http://dig.csail.mit.edu/2009/policy-assurance/generator/make_chaining_policy.py?policyName=chaining-policy&textDescription=Chaining+policy.+Please+provide+a+policy+description+if+desired.&nameSpaces=%40prefix+ex%3A+%3Chttp%3A%2F%2Fexample.com%2F%23%3E.&policyType=defaultNotComply&Attribute1=ex%3Aa&Var1=retrieve&Attribute3=ex%3Ab&Var3=use&firstFilter2=ex%3Ab&secondFilter2=s%3AbooleanGT&thirdFilter2=%2218+%22&url=whateverchaining-policy-rule-1> ] .
    {
        <http://dig.csail.mit.edu/2009/policy-assurance/generator/make_chaining_policy.py?policyName=chaining-policy&textDescription=Chaining+policy.+Please+provide+a+policy+description+if+desired.&nameSpaces=%40prefix+ex%3A+%3Chttp%3A%2F%2Fexample.com%2F%23%3E.&policyType=defaultNotComply&Attribute1=ex%3Aa&Var1=retrieve&Attribute3=ex%3Ab&Var3=use&firstFilter2=ex%3Ab&secondFilter2=s%3AbooleanGT&thirdFilter2=%2218+%22&url=whateverT0>     log:includes { @forSome :s .
            :s     ex:a :a .
            } .
        <http://dig.csail.mit.edu/2009/policy-assurance/generator/make_chaining_policy.py?policyName=chaining-policy&textDescription=Chaining+policy.+Please+provide+a+policy+description+if+desired.&nameSpaces=%40prefix+ex%3A+%3Chttp%3A%2F%2Fexample.com%2F%23%3E.&policyType=defaultNotComply&Attribute1=ex%3Aa&Var1=retrieve&Attribute3=ex%3Ab&Var3=use&firstFilter2=ex%3Ab&secondFilter2=s%3AbooleanGT&thirdFilter2=%2218+%22&url=whateverT1>     log:includes { @forSome :s .
            :s     ex:b :b .
            } .
        <http://dig.csail.mit.edu/2009/policy-assurance/generator/make_chaining_policy.py?policyName=chaining-policy&textDescription=Chaining+policy.+Please+provide+a+policy+description+if+desired.&nameSpaces=%40prefix+ex%3A+%3Chttp%3A%2F%2Fexample.com%2F%23%3E.&policyType=defaultNotComply&Attribute1=ex%3Aa&Var1=retrieve&Attribute3=ex%3Ab&Var3=use&firstFilter2=ex%3Ab&secondFilter2=s%3AbooleanGT&thirdFilter2=%2218+%22&url=whateverU1>     log:includes { @forSome "18 ",
                        s:booleanGT .
            :b     s:booleanGT "18 " .
            } .
        :Query6666988261251126346     a s:SPARQLQuery;
             s:clause <#_g0>;
             s:retrieve <#_g1> .
        <#_g0>     s:triplePattern {:b     s:booleanGT "18 " .
            },
                    {:s     ex:a :a .
            },
                    {:s     ex:b :b .
            } .
        <#_g1>     s:var :a .
        
        }     tms:justification tms:premise .